10. An introduction to mathematical logic and type theory :
پدیدآورنده : by Peter B. Andrews.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
11. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, P. B. )Peter Bruce(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
12. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
13. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده : Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
14. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
15. An introduction to mathematical logic & type theory:to truth
پدیدآورنده : ANDREWS,PETER BRUCE
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
16. Applications of Hyperstructure Theory
پدیدآورنده : by Piergiulio Corsini, Violeta Leoreanu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
17. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
18. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
19. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
